Metropolis algorithm

ggplot2 is used for plotting, tidyr for manipulating data frames

library(ggplot2)
theme_set(theme_minimal())
library(tidyr)
# gganimate-package (for animations) is installed
# from github using the devtools package
#library(devtools)
#install_github("dgrtwo/gganimate")
library(gganimate)
library(ggforce)
library(MASS)
library(rprojroot)
library(rstan)
root<-has_file(".BDA_R_demos_root")$make_fix_file()

Parameters of a normal distribution used as a toy target distribution

y1 <- 0
y2 <- 0
r <- 0.8
S <- diag(2)
S[1, 2] <- r
S[2, 1] <- r

Metropolis proposal distribution scale

sp <- 0.3

Sample from the toy distribution to visualize 90% HPD interval with ggplot's stat_ellipse()

dft <- data.frame(mvrnorm(100000, c(0, 0), S))

see BDA3 p. 85 for how to compute HPD for multivariate normal in 2d-case contour for 90% HPD is an ellipse, whose semimajor axes can be computed from the eigenvalues of the covariance matrix scaled by a value selected to get ellipse match the density at the edge of 90% HPD. Angle of the ellipse could be computed from the eigenvectors, but since the marginals are same we know that angle is pi/4 Starting value of the chain

t1 <- -2.5
t2 <- 2.5

Number of iterations.

M <- 5000

Insert your own Metropolis sampling here

# Allocate memory for the sample
tt <- matrix(rep(0, 2*M), ncol = 2)
tt[1,] <- c(t1, t2)    # Save starting point
# For demonstration load pre-computed values
# Replace this with your algorithm!
# tt is a M x 2 array, with M draws of both theta_1 and theta_2
load(root("demos_ch11","demo11_2a.RData"))

The rest is for illustration Take the first 200 draws to illustrate how the sampler works

df100 <- data.frame(id=rep(1,100),
                    iter=1:100, 
                    th1 = tt[1:100, 1],
                    th2 = tt[1:100, 2],
                    th1l = c(tt[1, 1], tt[1:(100-1), 1]),
                    th2l = c(tt[1, 2], tt[1:(100-1), 2]))

Take the first 5000 observations after warmup of 50

s <- 5000
warm <- 500
dfs <- data.frame(th1 = tt[(warm+1):s, 1], th2 = tt[(warm+1):s, 2])

Remove warm-up period of 50 first draws later

# labels and frame indices for the plot
labs1 <- c('Draws', 'Steps of the sampler', '90% HPD')
p1 <- ggplot() +
  geom_jitter(data = df100, width=0.05, height=0.05,
              aes(th1, th2, color ='1'), alpha=0.3) +
  geom_segment(data = df100, aes(x = th1, xend = th1l, color = '2',
                                 y = th2, yend = th2l)) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '3'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('red', 'forestgreen','blue'), labels = labs1) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA, NA), linetype = c(0, 1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

The following generates a gif animation of the steps of the sampler (might take 10 seconds).

animate(p1 +   
          transition_reveal(id=id, along=iter) + 
          shadow_trail(0.01))
## Warning: The `id` argument has been deprecated. Set `id` in each layer with the
## `group` aesthetic
## Rendering [>---------------------------------------------] at 6 fps ~ eta: 16s
## Rendering [>-------------------------------------------] at 6.1 fps ~ eta: 16s
## Rendering [=>------------------------------------------] at 6.2 fps ~ eta: 15s
## Rendering [==>-----------------------------------------] at 6.2 fps ~ eta: 15s
## Rendering [==>-----------------------------------------] at 6.3 fps ~ eta: 15s
## Rendering [===>----------------------------------------] at 6.3 fps ~ eta: 15s
## Rendering [===>----------------------------------------] at 6.3 fps ~ eta: 14s
## Rendering [===>----------------------------------------] at 6.4 fps ~ eta: 14s
## Rendering [====>---------------------------------------] at 6.3 fps ~ eta: 14s
## Rendering [=====>--------------------------------------] at 6.4 fps ~ eta: 14s
## Rendering [======>-------------------------------------] at 6.3 fps ~ eta: 13s
## Rendering [=======>------------------------------------] at 6.3 fps ~ eta: 13s
## Rendering [========>-----------------------------------] at 6.3 fps ~ eta: 13s
## Rendering [========>-----------------------------------] at 6.3 fps ~ eta: 12s
## Rendering [=========>----------------------------------] at 6.3 fps ~ eta: 12s
## Rendering [==========>---------------------------------] at 6.3 fps ~ eta: 12s
## Rendering [===========>--------------------------------] at 6.3 fps ~ eta: 12s
## Rendering [===========>--------------------------------] at 6.3 fps ~ eta: 11s
## Rendering [============>-------------------------------] at 6.3 fps ~ eta: 11s
## Rendering [=============>------------------------------] at 6.3 fps ~ eta: 11s
## Rendering [==============>-----------------------------] at 6.3 fps ~ eta: 11s
## Rendering [==============>-----------------------------] at 6.3 fps ~ eta: 10s
## Rendering [===============>----------------------------] at 6.3 fps ~ eta: 10s
## Rendering [================>---------------------------] at 6.3 fps ~ eta: 10s
## Rendering [=================>--------------------------] at 6.2 fps ~ eta: 10s
## Rendering [=================>--------------------------] at 6.2 fps ~ eta: 9s
## Rendering [==================>-------------------------] at 6.2 fps ~ eta: 9s
## Rendering [===================>------------------------] at 6.2 fps ~ eta: 9s
## Rendering [====================>-----------------------] at 6.2 fps ~ eta: 9s
## Rendering [====================>-----------------------] at 6.2 fps ~ eta: 8s
## Rendering [=====================>----------------------] at 6.1 fps ~ eta: 8s
## Rendering [======================>---------------------] at 6.1 fps ~ eta: 8s
## Rendering [=======================>--------------------] at 6.2 fps ~ eta: 7s
## Rendering [========================>-------------------] at 6.2 fps ~ eta: 7s
## Rendering [=========================>------------------] at 6.2 fps ~ eta: 7s
## Rendering [=========================>------------------] at 6.2 fps ~ eta: 6s
## Rendering [==========================>-----------------] at 6.2 fps ~ eta: 6s
## Rendering [===========================>----------------] at 6.2 fps ~ eta: 6s
## Rendering [============================>---------------] at 6.2 fps ~ eta: 6s
## Rendering [============================>---------------] at 6.2 fps ~ eta: 5s
## Rendering [=============================>--------------] at 6.2 fps ~ eta: 5s
## Rendering [==============================>-------------] at 6.2 fps ~ eta: 5s
## Rendering [===============================>------------] at 6.2 fps ~ eta: 5s
## Rendering [===============================>------------] at 6.2 fps ~ eta: 4s
## Rendering [================================>-----------] at 6.2 fps ~ eta: 4s
## Rendering [=================================>----------] at 6.2 fps ~ eta: 4s
## Rendering [==================================>---------] at 6.2 fps ~ eta: 3s
## Rendering [===================================>--------] at 6.2 fps ~ eta: 3s
## Rendering [====================================>-------] at 6.2 fps ~ eta: 3s
## Rendering [====================================>-------] at 6.2 fps ~ eta: 2s
## Rendering [=====================================>------] at 6.2 fps ~ eta: 2s
## Rendering [======================================>-----] at 6.2 fps ~ eta: 2s
## Rendering [=======================================>----] at 6.2 fps ~ eta: 2s
## Rendering [=======================================>----] at 6.2 fps ~ eta: 1s
## Rendering [=======================================>----] at 6.1 fps ~ eta: 1s
## Rendering [========================================>---] at 6.1 fps ~ eta: 1s
## Rendering [=========================================>--] at 6.1 fps ~ eta: 1s
## Rendering [==========================================>-] at 6.1 fps ~ eta: 0s
## Rendering [===========================================>] at 6.1 fps ~ eta: 0s
## Rendering [============================================] at 6.1 fps ~ eta: 0s

Plot the final frame

p1

show 1000 draws after the warm-up

labs2 <- c('Draws', '90% HPD')
ggplot() +
  geom_point(data = dfs[1:1000,],
             aes(th1, th2, color = '1'), alpha = 0.3) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '2'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('steelblue', 'blue'), labels = labs2) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA), linetype = c(0, 1), alpha = c(1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

show 4500 draws after the warm-up

labs2 <- c('Draws', '90% HPD')
ggplot() +
  geom_point(data = dfs,
             aes(th1, th2, color = '1'), alpha = 0.3) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '2'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('steelblue', 'blue'), labels = labs2) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA), linetype = c(0, 1), alpha = c(1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Convergence diagnostics

samp <- tt
dim(samp) <- c(dim(tt),1)
samp <- aperm(samp, c(1, 3, 2))
res<-monitor(samp, probs = c(0.25, 0.5, 0.75), digits_summary = 2)
## Inference for the input samples (1 chains: each with iter = 5000; warmup = 2500):
## 
##      Q5 Q50 Q95 Mean SD  Rhat Bulk_ESS Tail_ESS
## V1 -1.8   0 1.6 -0.1  1     1      101      152
## V2 -1.7   0 1.7  0.0  1     1       92      105
## 
## For each parameter, Bulk_ESS and Tail_ESS are crude measures of 
## effective sample size for bulk and tail quantities respectively (an ESS > 100 
## per chain is considered good), and Rhat is the potential scale reduction 
## factor on rank normalized split chains (at convergence, Rhat <= 1.05).
neff <- res[,'n_eff']
# both theta have owen neff, but for plotting these are so close to each
# other, so that single relative efficiency value is used
reff <- mean(neff/(s/2))

Visual convergence diagnostics

Collapse the data frame with row numbers augmented into key-value pairs for visualizing the chains

dfb <- dfs
sb <- s-warm
dfch <- within(dfb, iter <- 1:sb) %>% gather(grp, value, -iter)

Another data frame for visualizing the estimate of the autocorrelation function

nlags <- 50
dfa <- sapply(dfb, function(x) acf(x, lag.max = nlags, plot = F)$acf) %>%
  data.frame(iter = 0:(nlags)) %>% gather(grp, value, -iter)

A third data frame to visualize the cumulative averages and the 95% intervals

dfca <- (cumsum(dfb) / (1:sb)) %>%
  within({iter <- 1:sb
  uppi <-  1.96/sqrt(1:sb)
  upp <- 1.96/(sqrt(1:sb*reff))}) %>%
  gather(grp, value, -iter)

Visualize the chains

ggplot(data = dfch) +
  geom_line(aes(iter, value, color = grp)) +
  labs(title = 'Trends') +
  scale_color_discrete(labels = c('theta1','theta2')) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Visualize the estimate of the autocorrelation function

ggplot(data = dfa) +
  geom_line(aes(iter, value, color = grp)) +
  geom_hline(aes(yintercept = 0)) +
  labs(title = 'Autocorrelation function') +
  scale_color_discrete(labels = c('theta1', 'theta2')) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Visualize the estimate of the Monte Carlo error estimates

# labels
labs3 <- c('theta1', 'theta2',
           '95% interval for MCMC error',
           '95% interval for independent MC')
ggplot() +
  geom_line(data = dfca, aes(iter, value, color = grp, linetype = grp)) +
  geom_line(aes(1:sb, -1.96/sqrt(1:sb*reff)), linetype = 2) +
  geom_line(aes(1:sb, -1.96/sqrt(1:sb)), linetype = 3) +
  geom_hline(aes(yintercept = 0)) +
  coord_cartesian(ylim = c(-1.5, 1.5), xlim = c(0,4000)) +
  labs(title = 'Cumulative averages') +
  scale_color_manual(values = c('red','blue',rep('black', 2)), labels = labs3) +
  scale_linetype_manual(values = c(1, 1, 2, 3), labels = labs3) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Same again with r=0.99 Parameters of a normal distribution used as a toy target distribution

y1 <- 0
y2 <- 0
r <- 0.99
S <- diag(2)
S[1, 2] <- r
S[2, 1] <- r

Metropolis proposal distribution scale

sp <- 0.3

Sample from the toy distribution to visualize 90% HPD interval with ggplot's stat_ellipse()

dft <- data.frame(mvrnorm(100000, c(0, 0), S))

see BDA3 p. 85 for how to compute HPD for multivariate normal in 2d-case contour for 90% HPD is an ellipse, whose semimajor axes can be computed from the eigenvalues of the covariance matrix scaled by a value selected to get ellipse match the density at the edge of 90% HPD. Angle of the ellipse could be computed from the eigenvectors, but since the marginals are same we know that angle is pi/4 Starting value of the chain

t1 <- -2.5
t2 <- 2.5

Number of iterations.

M <- 5000

Insert your own Metropolis sampling here

# Allocate memory for the sample
tt <- matrix(rep(0, 2*M), ncol = 2)
tt[1,] <- c(t1, t2)    # Save starting point
# For demonstration load pre-computed values
# Replace this with your algorithm!
# tt is a M x 2 array, with M draws of both theta_1 and theta_2
load(root("demos_ch11","demo11_2b.RData"))

The rest is for illustration Take the first 200 draws to illustrate how the sampler works

df100 <- data.frame(id=rep(1,100),
                    iter=1:100, 
                    th1 = tt[1:100, 1],
                    th2 = tt[1:100, 2],
                    th1l = c(tt[1, 1], tt[1:(100-1), 1]),
                    th2l = c(tt[1, 2], tt[1:(100-1), 2]))

Take the first 5000 observations after warmup of 50

s <- 5000
warm <- 500
dfs <- data.frame(th1 = tt[(warm+1):s, 1], th2 = tt[(warm+1):s, 2])

Remove warm-up period of 50 first draws later

# labels and frame indices for the plot
labs1 <- c('Draws', 'Steps of the sampler', '90% HPD')
p1 <- ggplot() +
  geom_jitter(data = df100, width=0.05, height=0.05,
             aes(th1, th2, color ='1'), alpha=0.3) +
  geom_segment(data = df100, aes(x = th1, xend = th1l, color = '2',
                                 y = th2, yend = th2l)) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '3'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('red', 'forestgreen','blue'), labels = labs1) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA, NA), linetype = c(0, 1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

The following generates a gif animation of the steps of the sampler (might take 10 seconds).

animate(p1 +   
          transition_reveal(id=id, along=iter) + 
        shadow_trail(0.01))
## Warning: The `id` argument has been deprecated. Set `id` in each layer with the
## `group` aesthetic
## Rendering [--------------------------------------------] at 4.2 fps ~ eta: 24s
## Rendering [>-------------------------------------------] at 4.1 fps ~ eta: 24s
## Rendering [>-------------------------------------------] at 4.3 fps ~ eta: 22s
## Rendering [=>------------------------------------------] at 3.9 fps ~ eta: 25s
## Rendering [=>------------------------------------------] at 3.6 fps ~ eta: 26s
## Rendering [==>-----------------------------------------] at 3.6 fps ~ eta: 26s
## Rendering [===>----------------------------------------] at 3.8 fps ~ eta: 24s
## Rendering [===>----------------------------------------] at 3.9 fps ~ eta: 23s
## Rendering [====>-----------------------------------------] at 4 fps ~ eta: 23s
## Rendering [====>---------------------------------------] at 4.1 fps ~ eta: 22s
## Rendering [====>---------------------------------------] at 4.2 fps ~ eta: 21s
## Rendering [=====>--------------------------------------] at 4.2 fps ~ eta: 21s
## Rendering [=====>--------------------------------------] at 4.2 fps ~ eta: 20s
## Rendering [======>-------------------------------------] at 4.3 fps ~ eta: 20s
## Rendering [======>-------------------------------------] at 4.4 fps ~ eta: 19s
## Rendering [======>-------------------------------------] at 4.5 fps ~ eta: 19s
## Rendering [=======>------------------------------------] at 4.5 fps ~ eta: 18s
## Rendering [========>-----------------------------------] at 4.6 fps ~ eta: 17s
## Rendering [=========>----------------------------------] at 4.7 fps ~ eta: 17s
## Rendering [=========>----------------------------------] at 4.7 fps ~ eta: 16s
## Rendering [==========>---------------------------------] at 4.7 fps ~ eta: 16s
## Rendering [==========>---------------------------------] at 4.6 fps ~ eta: 16s
## Rendering [==========>---------------------------------] at 4.5 fps ~ eta: 16s
## Rendering [===========>--------------------------------] at 4.4 fps ~ eta: 17s
## Rendering [===========>--------------------------------] at 4.4 fps ~ eta: 16s
## Rendering [============>-------------------------------] at 4.4 fps ~ eta: 16s
## Rendering [=============>------------------------------] at 4.5 fps ~ eta: 15s
## Rendering [==============>-----------------------------] at 4.5 fps ~ eta: 15s
## Rendering [==============>-----------------------------] at 4.6 fps ~ eta: 14s
## Rendering [==============>-----------------------------] at 4.5 fps ~ eta: 14s
## Rendering [===============>----------------------------] at 4.6 fps ~ eta: 14s
## Rendering [================>---------------------------] at 4.6 fps ~ eta: 13s
## Rendering [================>---------------------------] at 4.7 fps ~ eta: 13s
## Rendering [=================>--------------------------] at 4.7 fps ~ eta: 13s
## Rendering [=================>--------------------------] at 4.7 fps ~ eta: 12s
## Rendering [==================>-------------------------] at 4.8 fps ~ eta: 12s
## Rendering [===================>------------------------] at 4.8 fps ~ eta: 12s
## Rendering [===================>------------------------] at 4.8 fps ~ eta: 11s
## Rendering [====================>-----------------------] at 4.7 fps ~ eta: 11s
## Rendering [=====================>----------------------] at 4.6 fps ~ eta: 11s
## Rendering [======================>---------------------] at 4.6 fps ~ eta: 10s
## Rendering [=======================>--------------------] at 4.7 fps ~ eta: 10s
## Rendering [========================>-------------------] at 4.7 fps ~ eta: 9s
## Rendering [=========================>------------------] at 4.7 fps ~ eta: 9s
## Rendering [=========================>------------------] at 4.8 fps ~ eta: 8s
## Rendering [==========================>-----------------] at 4.8 fps ~ eta: 8s
## Rendering [===========================>----------------] at 4.8 fps ~ eta: 8s
## Rendering [===========================>----------------] at 4.8 fps ~ eta: 7s
## Rendering [============================>---------------] at 4.8 fps ~ eta: 7s
## Rendering [=============================>--------------] at 4.9 fps ~ eta: 7s
## Rendering [=============================>--------------] at 4.9 fps ~ eta: 6s
## Rendering [==============================>-------------] at 4.9 fps ~ eta: 6s
## Rendering [===============================>------------] at 4.9 fps ~ eta: 6s
## Rendering [================================>-----------] at 4.9 fps ~ eta: 5s
## Rendering [=================================>----------] at 4.9 fps ~ eta: 5s
## Rendering [=================================>----------] at 4.9 fps ~ eta: 4s
## Rendering [==================================>---------] at 4.9 fps ~ eta: 4s
## Rendering [====================================>---------] at 5 fps ~ eta: 4s
## Rendering [=====================================>--------] at 5 fps ~ eta: 4s
## Rendering [=====================================>--------] at 5 fps ~ eta: 3s
## Rendering [======================================>-------] at 5 fps ~ eta: 3s
## Rendering [=======================================>------] at 5 fps ~ eta: 3s
## Rendering [=======================================>------] at 5 fps ~ eta: 2s
## Rendering [========================================>-----] at 5 fps ~ eta: 2s
## Rendering [=========================================>----] at 5 fps ~ eta: 2s
## Rendering [==========================================>---] at 5 fps ~ eta: 1s
## Rendering [===========================================>--] at 5 fps ~ eta: 1s
## Rendering [==========================================>-] at 5.1 fps ~ eta: 1s
## Rendering [==========================================>-] at 5.1 fps ~ eta: 0s
## Rendering [===========================================>] at 5.1 fps ~ eta: 0s
## Rendering [============================================] at 5.1 fps ~ eta: 0s

Plot the final frame

p1

show 1000 draws after the warm-up

labs2 <- c('Draws', '90% HPD')
ggplot() +
  geom_point(data = dfs[1:1000,],
             aes(th1, th2, color = '1'), alpha = 0.3) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '2'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('steelblue', 'blue'), labels = labs2) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA), linetype = c(0, 1), alpha = c(1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

show 4500 draws after the warm-up

labs2 <- c('Draws', '90% HPD')
ggplot() +
  geom_point(data = dfs,
             aes(th1, th2, color = '1'), alpha = 0.3) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '2'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('steelblue', 'blue'), labels = labs2) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA), linetype = c(0, 1), alpha = c(1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Convergence diagnostics

samp <- tt
dim(samp) <- c(dim(tt),1)
samp <- aperm(samp, c(1, 3, 2))
res<-monitor(samp, probs = c(0.25, 0.5, 0.75), digits_summary = 2)
## Inference for the input samples (1 chains: each with iter = 5000; warmup = 2500):
## 
##      Q5  Q50 Q95 Mean  SD  Rhat Bulk_ESS Tail_ESS
## V1 -1.7 -0.4 1.5 -0.2 1.1  1.02       24       50
## V2 -1.6 -0.4 1.5 -0.2 1.1  1.03       24       51
## 
## For each parameter, Bulk_ESS and Tail_ESS are crude measures of 
## effective sample size for bulk and tail quantities respectively (an ESS > 100 
## per chain is considered good), and Rhat is the potential scale reduction 
## factor on rank normalized split chains (at convergence, Rhat <= 1.05).
neff <- res[,'n_eff']
# both theta have owen neff, but for plotting these are so close to each
# other, so that single relative efficiency value is used
reff <- mean(neff/(s/2))

Visual convergence diagnostics

Collapse the data frame with row numbers augmented into key-value pairs for visualizing the chains

dfb <- dfs
sb <- s-warm
dfch <- within(dfb, iter <- 1:sb) %>% gather(grp, value, -iter)

Another data frame for visualizing the estimate of the autocorrelation function

nlags <- 100
dfa <- sapply(dfb, function(x) acf(x, lag.max = nlags, plot = F)$acf) %>%
  data.frame(iter = 0:(nlags)) %>% gather(grp, value, -iter)

A third data frame to visualize the cumulative averages and the 95% intervals

dfca <- (cumsum(dfb) / (1:sb)) %>%
  within({iter <- 1:sb
          uppi <-  1.96/sqrt(1:sb)
          upp <- 1.96/(sqrt(1:sb*reff))}) %>%
  gather(grp, value, -iter)

Visualize the chains

ggplot(data = dfch) +
  geom_line(aes(iter, value, color = grp)) +
  labs(title = 'Trends') +
  scale_color_discrete(labels = c('theta1','theta2')) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Visualize the estimate of the autocorrelation function

ggplot(data = dfa) +
  geom_line(aes(iter, value, color = grp)) +
  geom_hline(aes(yintercept = 0)) +
  labs(title = 'Autocorrelation function') +
  scale_color_discrete(labels = c('theta1', 'theta2')) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Visualize the estimate of the Monte Carlo error estimates

# labels
labs3 <- c('theta1', 'theta2',
           '95% interval for MCMC error',
           '95% interval for independent MC')
ggplot() +
  geom_line(data = dfca, aes(iter, value, color = grp, linetype = grp)) +
  geom_line(aes(1:sb, -1.96/sqrt(1:sb*reff)), linetype = 2) +
  geom_line(aes(1:sb, -1.96/sqrt(1:sb)), linetype = 3) +
  geom_hline(aes(yintercept = 0)) +
  coord_cartesian(ylim = c(-1.5, 1.5), xlim = c(0,4000)) +
  labs(title = 'Cumulative averages') +
  scale_color_manual(values = c('red','blue',rep('black', 2)), labels = labs3) +
  scale_linetype_manual(values = c(1, 1, 2, 3), labels = labs3) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Same again with sp = 1.5

sp = 1.5

Insert your own Metropolis sampling here

# Allocate memory for the sample
tt <- matrix(rep(0, 2*M), ncol = 2)
tt[1,] <- c(t1, t2)    # Save starting point
# For demonstration load pre-computed values
# Replace this with your algorithm!
# tt is a M x 2 array, with M draws of both theta_1 and theta_2
load(root("demos_ch11","demo11_2c.RData"))

The rest is for illustration Take the first 200 draws to illustrate how the sampler works

df100 <- data.frame(id=rep(1,100),
                    iter=1:100, 
                    th1 = tt[1:100, 1],
                    th2 = tt[1:100, 2],
                    th1l = c(tt[1, 1], tt[1:(100-1), 1]),
                    th2l = c(tt[1, 2], tt[1:(100-1), 2]))

Take the first 5000 observations after warmup of 50

s <- 5000
warm <- 500
dfs <- data.frame(th1 = tt[(warm+1):s, 1], th2 = tt[(warm+1):s, 2])

Remove warm-up period of 50 first draws later

# labels and frame indices for the plot
labs1 <- c('Draws', 'Steps of the sampler', '90% HPD')
p1 <- ggplot() +
  geom_jitter(data = df100, width=0.05, height=0.05,
             aes(th1, th2, color ='1'), alpha=0.3) +
  geom_segment(data = df100, aes(x = th1, xend = th1l, color = '2',
                                 y = th2, yend = th2l)) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '3'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('red', 'forestgreen','blue'), labels = labs1) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA, NA), linetype = c(0, 1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

The following generates a gif animation of the steps of the sampler (might take 10 seconds).

animate(p1 +   
          transition_reveal(id=id, along=iter) + 
        shadow_trail(0.01))
## Warning: The `id` argument has been deprecated. Set `id` in each layer with the
## `group` aesthetic
## Rendering [>-------------------------------------------] at 6.8 fps ~ eta: 14s
## Rendering [>-------------------------------------------] at 6.6 fps ~ eta: 15s
## Rendering [=>------------------------------------------] at 6.6 fps ~ eta: 15s
## Rendering [=>------------------------------------------] at 6.5 fps ~ eta: 15s
## Rendering [==>-----------------------------------------] at 6.5 fps ~ eta: 15s
## Rendering [==>-----------------------------------------] at 6.4 fps ~ eta: 14s
## Rendering [===>----------------------------------------] at 6.4 fps ~ eta: 14s
## Rendering [====>---------------------------------------] at 6.4 fps ~ eta: 14s
## Rendering [=====>--------------------------------------] at 6.4 fps ~ eta: 14s
## Rendering [=====>--------------------------------------] at 6.4 fps ~ eta: 13s
## Rendering [======>-------------------------------------] at 6.3 fps ~ eta: 13s
## Rendering [=======>------------------------------------] at 6.3 fps ~ eta: 13s
## Rendering [=======>------------------------------------] at 6.2 fps ~ eta: 13s
## Rendering [========>-----------------------------------] at 6.2 fps ~ eta: 13s
## Rendering [=========>----------------------------------] at 6.2 fps ~ eta: 13s
## Rendering [=========>----------------------------------] at 6.2 fps ~ eta: 12s
## Rendering [==========>---------------------------------] at 6.2 fps ~ eta: 12s
## Rendering [==========>---------------------------------] at 6.1 fps ~ eta: 12s
## Rendering [===========>--------------------------------] at 6.1 fps ~ eta: 12s
## Rendering [============>-------------------------------] at 6.1 fps ~ eta: 12s
## Rendering [============>-------------------------------] at 6.1 fps ~ eta: 11s
## Rendering [=============>------------------------------] at 6.1 fps ~ eta: 11s
## Rendering [==============>-----------------------------] at 6.1 fps ~ eta: 11s
## Rendering [===============>----------------------------] at 6.1 fps ~ eta: 11s
## Rendering [===============>----------------------------] at 6.1 fps ~ eta: 10s
## Rendering [================>---------------------------] at 6.1 fps ~ eta: 10s
## Rendering [=================>----------------------------] at 6 fps ~ eta: 10s
## Rendering [==================>---------------------------] at 6 fps ~ eta: 10s
## Rendering [===================>--------------------------] at 6 fps ~ eta: 9s
## Rendering [====================>-------------------------] at 6 fps ~ eta: 9s
## Rendering [=====================>------------------------] at 6 fps ~ eta: 9s
## Rendering [======================>-----------------------] at 6 fps ~ eta: 9s
## Rendering [======================>-----------------------] at 6 fps ~ eta: 8s
## Rendering [=====================>----------------------] at 5.9 fps ~ eta: 8s
## Rendering [======================>---------------------] at 5.9 fps ~ eta: 8s
## Rendering [=======================>--------------------] at 5.9 fps ~ eta: 8s
## Rendering [========================>-------------------] at 5.9 fps ~ eta: 7s
## Rendering [=========================>------------------] at 5.9 fps ~ eta: 7s
## Rendering [==========================>-----------------] at 5.9 fps ~ eta: 7s
## Rendering [==========================>-----------------] at 5.9 fps ~ eta: 6s
## Rendering [===========================>----------------] at 5.9 fps ~ eta: 6s
## Rendering [===========================>----------------] at 5.8 fps ~ eta: 6s
## Rendering [============================>---------------] at 5.8 fps ~ eta: 6s
## Rendering [=============================>--------------] at 5.8 fps ~ eta: 6s
## Rendering [=============================>--------------] at 5.8 fps ~ eta: 5s
## Rendering [==============================>-------------] at 5.8 fps ~ eta: 5s
## Rendering [===============================>------------] at 5.7 fps ~ eta: 5s
## Rendering [================================>-----------] at 5.7 fps ~ eta: 5s
## Rendering [================================>-----------] at 5.7 fps ~ eta: 4s
## Rendering [=================================>----------] at 5.7 fps ~ eta: 4s
## Rendering [==================================>---------] at 5.7 fps ~ eta: 4s
## Rendering [===================================>--------] at 5.6 fps ~ eta: 3s
## Rendering [====================================>-------] at 5.6 fps ~ eta: 3s
## Rendering [=====================================>------] at 5.6 fps ~ eta: 2s
## Rendering [======================================>-----] at 5.6 fps ~ eta: 2s
## Rendering [======================================>-----] at 5.7 fps ~ eta: 2s
## Rendering [=======================================>----] at 5.7 fps ~ eta: 2s
## Rendering [=======================================>----] at 5.7 fps ~ eta: 1s
## Rendering [========================================>---] at 5.7 fps ~ eta: 1s
## Rendering [=========================================>--] at 5.7 fps ~ eta: 1s
## Rendering [==========================================>-] at 5.7 fps ~ eta: 1s
## Rendering [==========================================>-] at 5.7 fps ~ eta: 0s
## Rendering [===========================================>] at 5.7 fps ~ eta: 0s
## Rendering [============================================] at 5.7 fps ~ eta: 0s

show 1000 draws after the warm-up

labs2 <- c('Draws', '90% HPD')
ggplot() +
  geom_point(data = dfs[1:1000,],
             aes(th1, th2, color = '1'), alpha = 0.3) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '2'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('steelblue', 'blue'), labels = labs2) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA), linetype = c(0, 1), alpha = c(1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

show 4500 draws after the warm-up

labs2 <- c('Draws', '90% HPD')
ggplot() +
  geom_point(data = dfs,
             aes(th1, th2, color = '1'), alpha = 0.3) +
  stat_ellipse(data = dft, aes(x = X1, y = X2, color = '2'), level = 0.9) +
  coord_cartesian(xlim = c(-4, 4), ylim = c(-4, 4)) +
  labs(x = 'theta1', y = 'theta2') +
  scale_color_manual(values = c('steelblue', 'blue'), labels = labs2) +
  guides(color = guide_legend(override.aes = list(
    shape = c(16, NA), linetype = c(0, 1), alpha = c(1, 1)))) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Convergence diagnostics

samp <- tt
dim(samp) <- c(dim(tt),1)
samp <- aperm(samp, c(1, 3, 2))
res<-monitor(samp, probs = c(0.25, 0.5, 0.75), digits_summary = 2)
## Inference for the input samples (1 chains: each with iter = 5000; warmup = 2500):
## 
##      Q5  Q50 Q95 Mean  SD  Rhat Bulk_ESS Tail_ESS
## V1 -1.8 -0.5 0.8 -0.5 0.8  1.00       45       34
## V2 -1.9 -0.4 0.8 -0.5 0.8  1.01       45       33
## 
## For each parameter, Bulk_ESS and Tail_ESS are crude measures of 
## effective sample size for bulk and tail quantities respectively (an ESS > 100 
## per chain is considered good), and Rhat is the potential scale reduction 
## factor on rank normalized split chains (at convergence, Rhat <= 1.05).
neff <- res[,'n_eff']
# both theta have owen neff, but for plotting these are so close to each
# other, so that single relative efficiency value is used
reff <- mean(neff/(s/2))

Visual convergence diagnostics

Collapse the data frame with row numbers augmented into key-value pairs for visualizing the chains

dfb <- dfs
sb <- s-warm
dfch <- within(dfb, iter <- 1:sb) %>% gather(grp, value, -iter)

Another data frame for visualizing the estimate of the autocorrelation function

nlags <- 100
dfa <- sapply(dfb, function(x) acf(x, lag.max = nlags, plot = F)$acf) %>%
  data.frame(iter = 0:(nlags)) %>% gather(grp, value, -iter)

A third data frame to visualize the cumulative averages and the 95% intervals

dfca <- (cumsum(dfb) / (1:sb)) %>%
  within({iter <- 1:sb
          uppi <-  1.96/sqrt(1:sb)
          upp <- 1.96/(sqrt(1:sb*reff))}) %>%
  gather(grp, value, -iter)

Visualize the chains

ggplot(data = dfch) +
  geom_line(aes(iter, value, color = grp)) +
  labs(title = 'Trends') +
  scale_color_discrete(labels = c('theta1','theta2')) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Visualize the estimate of the autocorrelation function

ggplot(data = dfa) +
  geom_line(aes(iter, value, color = grp)) +
  geom_hline(aes(yintercept = 0)) +
  labs(title = 'Autocorrelation function') +
  scale_color_discrete(labels = c('theta1', 'theta2')) +
  theme(legend.position = 'bottom', legend.title = element_blank())

Visualize the estimate of the Monte Carlo error estimates

# labels
labs3 <- c('theta1', 'theta2',
           '95% interval for MCMC error',
           '95% interval for independent MC')
ggplot() +
  geom_line(data = dfca, aes(iter, value, color = grp, linetype = grp)) +
  geom_line(aes(1:sb, -1.96/sqrt(1:sb*reff)), linetype = 2) +
  geom_line(aes(1:sb, -1.96/sqrt(1:sb)), linetype = 3) +
  geom_hline(aes(yintercept = 0)) +
  coord_cartesian(ylim = c(-1.5, 1.5), xlim = c(0,4000)) +
  labs(title = 'Cumulative averages') +
  scale_color_manual(values = c('red','blue',rep('black', 2)), labels = labs3) +
  scale_linetype_manual(values = c(1, 1, 2, 3), labels = labs3) +
  theme(legend.position = 'bottom', legend.title = element_blank())

LS0tCnRpdGxlOiAiQmF5ZXNpYW4gZGF0YSBhbmFseXNpcyBkZW1vIDExLjIiCmF1dGhvcjogIkFraSBWZWh0YXJpLCBNYXJrdXMgUGFhc2luaWVtaSIKZGF0ZTogImByIGZvcm1hdChTeXMuRGF0ZSgpKWAiCm91dHB1dDoKICBodG1sX2RvY3VtZW50OgogICAgdGhlbWU6IHJlYWRhYmxlCiAgICBjb2RlX2Rvd25sb2FkOiB0cnVlCi0tLQojIyBNZXRyb3BvbGlzIGFsZ29yaXRobQoKZ2dwbG90MiBpcyB1c2VkIGZvciBwbG90dGluZywgdGlkeXIgZm9yIG1hbmlwdWxhdGluZyBkYXRhIGZyYW1lcwoKYGBge3Igc2V0dXAsIG1lc3NhZ2U9RkFMU0UsIGVycm9yPUZBTFNFLCB3YXJuaW5nPUZBTFNFfQpsaWJyYXJ5KGdncGxvdDIpCnRoZW1lX3NldCh0aGVtZV9taW5pbWFsKCkpCmxpYnJhcnkodGlkeXIpCiMgZ2dhbmltYXRlLXBhY2thZ2UgKGZvciBhbmltYXRpb25zKSBpcyBpbnN0YWxsZWQKIyBmcm9tIGdpdGh1YiB1c2luZyB0aGUgZGV2dG9vbHMgcGFja2FnZQojbGlicmFyeShkZXZ0b29scykKI2luc3RhbGxfZ2l0aHViKCJkZ3J0d28vZ2dhbmltYXRlIikKbGlicmFyeShnZ2FuaW1hdGUpCmxpYnJhcnkoZ2dmb3JjZSkKbGlicmFyeShNQVNTKQpsaWJyYXJ5KHJwcm9qcm9vdCkKbGlicmFyeShyc3RhbikKcm9vdDwtaGFzX2ZpbGUoIi5CREFfUl9kZW1vc19yb290IikkbWFrZV9maXhfZmlsZSgpCmBgYAoKUGFyYW1ldGVycyBvZiBhIG5vcm1hbCBkaXN0cmlidXRpb24gdXNlZCBhcyBhIHRveSB0YXJnZXQgZGlzdHJpYnV0aW9uCgpgYGB7ciB9CnkxIDwtIDAKeTIgPC0gMApyIDwtIDAuOApTIDwtIGRpYWcoMikKU1sxLCAyXSA8LSByClNbMiwgMV0gPC0gcgpgYGAKCk1ldHJvcG9saXMgcHJvcG9zYWwgZGlzdHJpYnV0aW9uIHNjYWxlCgpgYGB7ciB9CnNwIDwtIDAuMwpgYGAKClNhbXBsZSBmcm9tIHRoZSB0b3kgZGlzdHJpYnV0aW9uIHRvIHZpc3VhbGl6ZSA5MCUgSFBECmludGVydmFsIHdpdGggZ2dwbG90J3Mgc3RhdF9lbGxpcHNlKCkKCmBgYHtyIH0KZGZ0IDwtIGRhdGEuZnJhbWUobXZybm9ybSgxMDAwMDAsIGMoMCwgMCksIFMpKQpgYGAKCnNlZSBCREEzIHAuIDg1IGZvciBob3cgdG8gY29tcHV0ZSBIUEQgZm9yIG11bHRpdmFyaWF0ZSBub3JtYWwKaW4gMmQtY2FzZSBjb250b3VyIGZvciA5MCUgSFBEIGlzIGFuIGVsbGlwc2UsIHdob3NlIHNlbWltYWpvcgpheGVzIGNhbiBiZSBjb21wdXRlZCBmcm9tIHRoZSBlaWdlbnZhbHVlcyBvZiB0aGUgY292YXJpYW5jZQptYXRyaXggc2NhbGVkIGJ5IGEgdmFsdWUgc2VsZWN0ZWQgdG8gZ2V0IGVsbGlwc2UgbWF0Y2ggdGhlCmRlbnNpdHkgYXQgdGhlIGVkZ2Ugb2YgOTAlIEhQRC4gQW5nbGUgb2YgdGhlIGVsbGlwc2UgY291bGQgYmUKY29tcHV0ZWQgZnJvbSB0aGUgZWlnZW52ZWN0b3JzLCBidXQgc2luY2UgdGhlIG1hcmdpbmFscyBhcmUgc2FtZQp3ZSBrbm93IHRoYXQgYW5nbGUgaXMgcGkvNApTdGFydGluZyB2YWx1ZSBvZiB0aGUgY2hhaW4KCmBgYHtyIH0KdDEgPC0gLTIuNQp0MiA8LSAyLjUKYGBgCgpOdW1iZXIgb2YgaXRlcmF0aW9ucy4KCmBgYHtyIH0KTSA8LSA1MDAwCmBgYAoKSW5zZXJ0IHlvdXIgb3duIE1ldHJvcG9saXMgc2FtcGxpbmcgaGVyZQoKYGBge3IgfQojIEFsbG9jYXRlIG1lbW9yeSBmb3IgdGhlIHNhbXBsZQp0dCA8LSBtYXRyaXgocmVwKDAsIDIqTSksIG5jb2wgPSAyKQp0dFsxLF0gPC0gYyh0MSwgdDIpICAgICMgU2F2ZSBzdGFydGluZyBwb2ludAojIEZvciBkZW1vbnN0cmF0aW9uIGxvYWQgcHJlLWNvbXB1dGVkIHZhbHVlcwojIFJlcGxhY2UgdGhpcyB3aXRoIHlvdXIgYWxnb3JpdGhtIQojIHR0IGlzIGEgTSB4IDIgYXJyYXksIHdpdGggTSBkcmF3cyBvZiBib3RoIHRoZXRhXzEgYW5kIHRoZXRhXzIKbG9hZChyb290KCJkZW1vc19jaDExIiwiZGVtbzExXzJhLlJEYXRhIikpCmBgYAoKVGhlIHJlc3QgaXMgZm9yIGlsbHVzdHJhdGlvbgpUYWtlIHRoZSBmaXJzdCAyMDAgZHJhd3MKdG8gaWxsdXN0cmF0ZSBob3cgdGhlIHNhbXBsZXIgd29ya3MKCmBgYHtyIH0KZGYxMDAgPC0gZGF0YS5mcmFtZShpZD1yZXAoMSwxMDApLAogICAgICAgICAgICAgICAgICAgIGl0ZXI9MToxMDAsIAogICAgICAgICAgICAgICAgICAgIHRoMSA9IHR0WzE6MTAwLCAxXSwKICAgICAgICAgICAgICAgICAgICB0aDIgPSB0dFsxOjEwMCwgMl0sCiAgICAgICAgICAgICAgICAgICAgdGgxbCA9IGModHRbMSwgMV0sIHR0WzE6KDEwMC0xKSwgMV0pLAogICAgICAgICAgICAgICAgICAgIHRoMmwgPSBjKHR0WzEsIDJdLCB0dFsxOigxMDAtMSksIDJdKSkKYGBgCgpUYWtlIHRoZSBmaXJzdCA1MDAwIG9ic2VydmF0aW9ucyBhZnRlciB3YXJtdXAgb2YgNTAKCmBgYHtyIH0KcyA8LSA1MDAwCndhcm0gPC0gNTAwCmRmcyA8LSBkYXRhLmZyYW1lKHRoMSA9IHR0Wyh3YXJtKzEpOnMsIDFdLCB0aDIgPSB0dFsod2FybSsxKTpzLCAyXSkKYGBgCgpSZW1vdmUgd2FybS11cCBwZXJpb2Qgb2YgNTAgZmlyc3QgZHJhd3MgbGF0ZXIKCmBgYHtyIH0KIyBsYWJlbHMgYW5kIGZyYW1lIGluZGljZXMgZm9yIHRoZSBwbG90CmxhYnMxIDwtIGMoJ0RyYXdzJywgJ1N0ZXBzIG9mIHRoZSBzYW1wbGVyJywgJzkwJSBIUEQnKQpwMSA8LSBnZ3Bsb3QoKSArCiAgZ2VvbV9qaXR0ZXIoZGF0YSA9IGRmMTAwLCB3aWR0aD0wLjA1LCBoZWlnaHQ9MC4wNSwKICAgICAgICAgICAgICBhZXModGgxLCB0aDIsIGNvbG9yID0nMScpLCBhbHBoYT0wLjMpICsKICBnZW9tX3NlZ21lbnQoZGF0YSA9IGRmMTAwLCBhZXMoeCA9IHRoMSwgeGVuZCA9IHRoMWwsIGNvbG9yID0gJzInLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB5ID0gdGgyLCB5ZW5kID0gdGgybCkpICsKICBzdGF0X2VsbGlwc2UoZGF0YSA9IGRmdCwgYWVzKHggPSBYMSwgeSA9IFgyLCBjb2xvciA9ICczJyksIGxldmVsID0gMC45KSArCiAgY29vcmRfY2FydGVzaWFuKHhsaW0gPSBjKC00LCA0KSwgeWxpbSA9IGMoLTQsIDQpKSArCiAgbGFicyh4ID0gJ3RoZXRhMScsIHkgPSAndGhldGEyJykgKwogIHNjYWxlX2NvbG9yX21hbnVhbCh2YWx1ZXMgPSBjKCdyZWQnLCAnZm9yZXN0Z3JlZW4nLCdibHVlJyksIGxhYmVscyA9IGxhYnMxKSArCiAgZ3VpZGVzKGNvbG9yID0gZ3VpZGVfbGVnZW5kKG92ZXJyaWRlLmFlcyA9IGxpc3QoCiAgICBzaGFwZSA9IGMoMTYsIE5BLCBOQSksIGxpbmV0eXBlID0gYygwLCAxLCAxKSkpKSArCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gJ2JvdHRvbScsIGxlZ2VuZC50aXRsZSA9IGVsZW1lbnRfYmxhbmsoKSkKYGBgCgpUaGUgZm9sbG93aW5nIGdlbmVyYXRlcyBhIGdpZiBhbmltYXRpb24Kb2YgdGhlIHN0ZXBzIG9mIHRoZSBzYW1wbGVyIChtaWdodCB0YWtlIDEwIHNlY29uZHMpLgoKYGBge3IgTWV0cm9wb2xpcyAoMSl9CmFuaW1hdGUocDEgKyAgIAogICAgICAgICAgdHJhbnNpdGlvbl9yZXZlYWwoaWQ9aWQsIGFsb25nPWl0ZXIpICsgCiAgICAgICAgICBzaGFkb3dfdHJhaWwoMC4wMSkpCmBgYAoKUGxvdCB0aGUgZmluYWwgZnJhbWUKCmBgYHtyIH0KcDEKYGBgCgpzaG93IDEwMDAgZHJhd3MgYWZ0ZXIgdGhlIHdhcm0tdXAKCmBgYHtyIH0KbGFiczIgPC0gYygnRHJhd3MnLCAnOTAlIEhQRCcpCmdncGxvdCgpICsKICBnZW9tX3BvaW50KGRhdGEgPSBkZnNbMToxMDAwLF0sCiAgICAgICAgICAgICBhZXModGgxLCB0aDIsIGNvbG9yID0gJzEnKSwgYWxwaGEgPSAwLjMpICsKICBzdGF0X2VsbGlwc2UoZGF0YSA9IGRmdCwgYWVzKHggPSBYMSwgeSA9IFgyLCBjb2xvciA9ICcyJyksIGxldmVsID0gMC45KSArCiAgY29vcmRfY2FydGVzaWFuKHhsaW0gPSBjKC00LCA0KSwgeWxpbSA9IGMoLTQsIDQpKSArCiAgbGFicyh4ID0gJ3RoZXRhMScsIHkgPSAndGhldGEyJykgKwogIHNjYWxlX2NvbG9yX21hbnVhbCh2YWx1ZXMgPSBjKCdzdGVlbGJsdWUnLCAnYmx1ZScpLCBsYWJlbHMgPSBsYWJzMikgKwogIGd1aWRlcyhjb2xvciA9IGd1aWRlX2xlZ2VuZChvdmVycmlkZS5hZXMgPSBsaXN0KAogICAgc2hhcGUgPSBjKDE2LCBOQSksIGxpbmV0eXBlID0gYygwLCAxKSwgYWxwaGEgPSBjKDEsIDEpKSkpICsKICB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAnYm90dG9tJywgbGVnZW5kLnRpdGxlID0gZWxlbWVudF9ibGFuaygpKQpgYGAKCnNob3cgNDUwMCBkcmF3cyBhZnRlciB0aGUgd2FybS11cAoKYGBge3IgfQpsYWJzMiA8LSBjKCdEcmF3cycsICc5MCUgSFBEJykKZ2dwbG90KCkgKwogIGdlb21fcG9pbnQoZGF0YSA9IGRmcywKICAgICAgICAgICAgIGFlcyh0aDEsIHRoMiwgY29sb3IgPSAnMScpLCBhbHBoYSA9IDAuMykgKwogIHN0YXRfZWxsaXBzZShkYXRhID0gZGZ0LCBhZXMoeCA9IFgxLCB5ID0gWDIsIGNvbG9yID0gJzInKSwgbGV2ZWwgPSAwLjkpICsKICBjb29yZF9jYXJ0ZXNpYW4oeGxpbSA9IGMoLTQsIDQpLCB5bGltID0gYygtNCwgNCkpICsKICBsYWJzKHggPSAndGhldGExJywgeSA9ICd0aGV0YTInKSArCiAgc2NhbGVfY29sb3JfbWFudWFsKHZhbHVlcyA9IGMoJ3N0ZWVsYmx1ZScsICdibHVlJyksIGxhYmVscyA9IGxhYnMyKSArCiAgZ3VpZGVzKGNvbG9yID0gZ3VpZGVfbGVnZW5kKG92ZXJyaWRlLmFlcyA9IGxpc3QoCiAgICBzaGFwZSA9IGMoMTYsIE5BKSwgbGluZXR5cGUgPSBjKDAsIDEpLCBhbHBoYSA9IGMoMSwgMSkpKSkgKwogIHRoZW1lKGxlZ2VuZC5wb3NpdGlvbiA9ICdib3R0b20nLCBsZWdlbmQudGl0bGUgPSBlbGVtZW50X2JsYW5rKCkpCmBgYAoKIyMjIENvbnZlcmdlbmNlIGRpYWdub3N0aWNzCgpgYGB7ciB9CnNhbXAgPC0gdHQKZGltKHNhbXApIDwtIGMoZGltKHR0KSwxKQpzYW1wIDwtIGFwZXJtKHNhbXAsIGMoMSwgMywgMikpCnJlczwtbW9uaXRvcihzYW1wLCBwcm9icyA9IGMoMC4yNSwgMC41LCAwLjc1KSwgZGlnaXRzX3N1bW1hcnkgPSAyKQpuZWZmIDwtIHJlc1ssJ25fZWZmJ10KIyBib3RoIHRoZXRhIGhhdmUgb3dlbiBuZWZmLCBidXQgZm9yIHBsb3R0aW5nIHRoZXNlIGFyZSBzbyBjbG9zZSB0byBlYWNoCiMgb3RoZXIsIHNvIHRoYXQgc2luZ2xlIHJlbGF0aXZlIGVmZmljaWVuY3kgdmFsdWUgaXMgdXNlZApyZWZmIDwtIG1lYW4obmVmZi8ocy8yKSkKYGBgCgojIyMgVmlzdWFsIGNvbnZlcmdlbmNlIGRpYWdub3N0aWNzCkNvbGxhcHNlIHRoZSBkYXRhIGZyYW1lIHdpdGggcm93IG51bWJlcnMgYXVnbWVudGVkCmludG8ga2V5LXZhbHVlIHBhaXJzIGZvciB2aXN1YWxpemluZyB0aGUgY2hhaW5zCgpgYGB7ciB9CmRmYiA8LSBkZnMKc2IgPC0gcy13YXJtCmRmY2ggPC0gd2l0aGluKGRmYiwgaXRlciA8LSAxOnNiKSAlPiUgZ2F0aGVyKGdycCwgdmFsdWUsIC1pdGVyKQpgYGAKCkFub3RoZXIgZGF0YSBmcmFtZSBmb3IgdmlzdWFsaXppbmcgdGhlIGVzdGltYXRlIG9mCnRoZSBhdXRvY29ycmVsYXRpb24gZnVuY3Rpb24KCmBgYHtyIH0KbmxhZ3MgPC0gNTAKZGZhIDwtIHNhcHBseShkZmIsIGZ1bmN0aW9uKHgpIGFjZih4LCBsYWcubWF4ID0gbmxhZ3MsIHBsb3QgPSBGKSRhY2YpICU+JQogIGRhdGEuZnJhbWUoaXRlciA9IDA6KG5sYWdzKSkgJT4lIGdhdGhlcihncnAsIHZhbHVlLCAtaXRlcikKYGBgCgpBIHRoaXJkIGRhdGEgZnJhbWUgdG8gdmlzdWFsaXplIHRoZSBjdW11bGF0aXZlIGF2ZXJhZ2VzCmFuZCB0aGUgOTUlIGludGVydmFscwoKYGBge3IgfQpkZmNhIDwtIChjdW1zdW0oZGZiKSAvICgxOnNiKSkgJT4lCiAgd2l0aGluKHtpdGVyIDwtIDE6c2IKICB1cHBpIDwtICAxLjk2L3NxcnQoMTpzYikKICB1cHAgPC0gMS45Ni8oc3FydCgxOnNiKnJlZmYpKX0pICU+JQogIGdhdGhlcihncnAsIHZhbHVlLCAtaXRlcikKYGBgCgpWaXN1YWxpemUgdGhlIGNoYWlucwoKYGBge3IgfQpnZ3Bsb3QoZGF0YSA9IGRmY2gpICsKICBnZW9tX2xpbmUoYWVzKGl0ZXIsIHZhbHVlLCBjb2xvciA9IGdycCkpICsKICBsYWJzKHRpdGxlID0gJ1RyZW5kcycpICsKICBzY2FsZV9jb2xvcl9kaXNjcmV0ZShsYWJlbHMgPSBjKCd0aGV0YTEnLCd0aGV0YTInKSkgKwogIHRoZW1lKGxlZ2VuZC5wb3NpdGlvbiA9ICdib3R0b20nLCBsZWdlbmQudGl0bGUgPSBlbGVtZW50X2JsYW5rKCkpCmBgYAoKVmlzdWFsaXplIHRoZSBlc3RpbWF0ZSBvZiB0aGUgYXV0b2NvcnJlbGF0aW9uIGZ1bmN0aW9uCgpgYGB7ciB9CmdncGxvdChkYXRhID0gZGZhKSArCiAgZ2VvbV9saW5lKGFlcyhpdGVyLCB2YWx1ZSwgY29sb3IgPSBncnApKSArCiAgZ2VvbV9obGluZShhZXMoeWludGVyY2VwdCA9IDApKSArCiAgbGFicyh0aXRsZSA9ICdBdXRvY29ycmVsYXRpb24gZnVuY3Rpb24nKSArCiAgc2NhbGVfY29sb3JfZGlzY3JldGUobGFiZWxzID0gYygndGhldGExJywgJ3RoZXRhMicpKSArCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gJ2JvdHRvbScsIGxlZ2VuZC50aXRsZSA9IGVsZW1lbnRfYmxhbmsoKSkKYGBgCgpWaXN1YWxpemUgdGhlIGVzdGltYXRlIG9mIHRoZSBNb250ZSBDYXJsbyBlcnJvciBlc3RpbWF0ZXMKCmBgYHtyIH0KIyBsYWJlbHMKbGFiczMgPC0gYygndGhldGExJywgJ3RoZXRhMicsCiAgICAgICAgICAgJzk1JSBpbnRlcnZhbCBmb3IgTUNNQyBlcnJvcicsCiAgICAgICAgICAgJzk1JSBpbnRlcnZhbCBmb3IgaW5kZXBlbmRlbnQgTUMnKQpnZ3Bsb3QoKSArCiAgZ2VvbV9saW5lKGRhdGEgPSBkZmNhLCBhZXMoaXRlciwgdmFsdWUsIGNvbG9yID0gZ3JwLCBsaW5ldHlwZSA9IGdycCkpICsKICBnZW9tX2xpbmUoYWVzKDE6c2IsIC0xLjk2L3NxcnQoMTpzYipyZWZmKSksIGxpbmV0eXBlID0gMikgKwogIGdlb21fbGluZShhZXMoMTpzYiwgLTEuOTYvc3FydCgxOnNiKSksIGxpbmV0eXBlID0gMykgKwogIGdlb21faGxpbmUoYWVzKHlpbnRlcmNlcHQgPSAwKSkgKwogIGNvb3JkX2NhcnRlc2lhbih5bGltID0gYygtMS41LCAxLjUpLCB4bGltID0gYygwLDQwMDApKSArCiAgbGFicyh0aXRsZSA9ICdDdW11bGF0aXZlIGF2ZXJhZ2VzJykgKwogIHNjYWxlX2NvbG9yX21hbnVhbCh2YWx1ZXMgPSBjKCdyZWQnLCdibHVlJyxyZXAoJ2JsYWNrJywgMikpLCBsYWJlbHMgPSBsYWJzMykgKwogIHNjYWxlX2xpbmV0eXBlX21hbnVhbCh2YWx1ZXMgPSBjKDEsIDEsIDIsIDMpLCBsYWJlbHMgPSBsYWJzMykgKwogIHRoZW1lKGxlZ2VuZC5wb3NpdGlvbiA9ICdib3R0b20nLCBsZWdlbmQudGl0bGUgPSBlbGVtZW50X2JsYW5rKCkpCmBgYAoKU2FtZSBhZ2FpbiB3aXRoIHI9MC45OQpQYXJhbWV0ZXJzIG9mIGEgbm9ybWFsIGRpc3RyaWJ1dGlvbiB1c2VkIGFzIGEgdG95IHRhcmdldCBkaXN0cmlidXRpb24KCmBgYHtyIH0KeTEgPC0gMAp5MiA8LSAwCnIgPC0gMC45OQpTIDwtIGRpYWcoMikKU1sxLCAyXSA8LSByClNbMiwgMV0gPC0gcgpgYGAKCk1ldHJvcG9saXMgcHJvcG9zYWwgZGlzdHJpYnV0aW9uIHNjYWxlCgpgYGB7ciB9CnNwIDwtIDAuMwpgYGAKClNhbXBsZSBmcm9tIHRoZSB0b3kgZGlzdHJpYnV0aW9uIHRvIHZpc3VhbGl6ZSA5MCUgSFBECmludGVydmFsIHdpdGggZ2dwbG90J3Mgc3RhdF9lbGxpcHNlKCkKCmBgYHtyIH0KZGZ0IDwtIGRhdGEuZnJhbWUobXZybm9ybSgxMDAwMDAsIGMoMCwgMCksIFMpKQpgYGAKCnNlZSBCREEzIHAuIDg1IGZvciBob3cgdG8gY29tcHV0ZSBIUEQgZm9yIG11bHRpdmFyaWF0ZSBub3JtYWwKaW4gMmQtY2FzZSBjb250b3VyIGZvciA5MCUgSFBEIGlzIGFuIGVsbGlwc2UsIHdob3NlIHNlbWltYWpvcgpheGVzIGNhbiBiZSBjb21wdXRlZCBmcm9tIHRoZSBlaWdlbnZhbHVlcyBvZiB0aGUgY292YXJpYW5jZQptYXRyaXggc2NhbGVkIGJ5IGEgdmFsdWUgc2VsZWN0ZWQgdG8gZ2V0IGVsbGlwc2UgbWF0Y2ggdGhlCmRlbnNpdHkgYXQgdGhlIGVkZ2Ugb2YgOTAlIEhQRC4gQW5nbGUgb2YgdGhlIGVsbGlwc2UgY291bGQgYmUKY29tcHV0ZWQgZnJvbSB0aGUgZWlnZW52ZWN0b3JzLCBidXQgc2luY2UgdGhlIG1hcmdpbmFscyBhcmUgc2FtZQp3ZSBrbm93IHRoYXQgYW5nbGUgaXMgcGkvNApTdGFydGluZyB2YWx1ZSBvZiB0aGUgY2hhaW4KCmBgYHtyIH0KdDEgPC0gLTIuNQp0MiA8LSAyLjUKYGBgCgpOdW1iZXIgb2YgaXRlcmF0aW9ucy4KCmBgYHtyIH0KTSA8LSA1MDAwCmBgYAoKSW5zZXJ0IHlvdXIgb3duIE1ldHJvcG9saXMgc2FtcGxpbmcgaGVyZQoKYGBge3IgfQojIEFsbG9jYXRlIG1lbW9yeSBmb3IgdGhlIHNhbXBsZQp0dCA8LSBtYXRyaXgocmVwKDAsIDIqTSksIG5jb2wgPSAyKQp0dFsxLF0gPC0gYyh0MSwgdDIpICAgICMgU2F2ZSBzdGFydGluZyBwb2ludAojIEZvciBkZW1vbnN0cmF0aW9uIGxvYWQgcHJlLWNvbXB1dGVkIHZhbHVlcwojIFJlcGxhY2UgdGhpcyB3aXRoIHlvdXIgYWxnb3JpdGhtIQojIHR0IGlzIGEgTSB4IDIgYXJyYXksIHdpdGggTSBkcmF3cyBvZiBib3RoIHRoZXRhXzEgYW5kIHRoZXRhXzIKbG9hZChyb290KCJkZW1vc19jaDExIiwiZGVtbzExXzJiLlJEYXRhIikpCmBgYAoKVGhlIHJlc3QgaXMgZm9yIGlsbHVzdHJhdGlvbgpUYWtlIHRoZSBmaXJzdCAyMDAgZHJhd3MKdG8gaWxsdXN0cmF0ZSBob3cgdGhlIHNhbXBsZXIgd29ya3MKCmBgYHtyIH0KZGYxMDAgPC0gZGF0YS5mcmFtZShpZD1yZXAoMSwxMDApLAogICAgICAgICAgICAgICAgICAgIGl0ZXI9MToxMDAsIAogICAgICAgICAgICAgICAgICAgIHRoMSA9IHR0WzE6MTAwLCAxXSwKICAgICAgICAgICAgICAgICAgICB0aDIgPSB0dFsxOjEwMCwgMl0sCiAgICAgICAgICAgICAgICAgICAgdGgxbCA9IGModHRbMSwgMV0sIHR0WzE6KDEwMC0xKSwgMV0pLAogICAgICAgICAgICAgICAgICAgIHRoMmwgPSBjKHR0WzEsIDJdLCB0dFsxOigxMDAtMSksIDJdKSkKYGBgCgpUYWtlIHRoZSBmaXJzdCA1MDAwIG9ic2VydmF0aW9ucyBhZnRlciB3YXJtdXAgb2YgNTAKCmBgYHtyIH0KcyA8LSA1MDAwCndhcm0gPC0gNTAwCmRmcyA8LSBkYXRhLmZyYW1lKHRoMSA9IHR0Wyh3YXJtKzEpOnMsIDFdLCB0aDIgPSB0dFsod2FybSsxKTpzLCAyXSkKYGBgCgpSZW1vdmUgd2FybS11cCBwZXJpb2Qgb2YgNTAgZmlyc3QgZHJhd3MgbGF0ZXIKCmBgYHtyIH0KIyBsYWJlbHMgYW5kIGZyYW1lIGluZGljZXMgZm9yIHRoZSBwbG90CmxhYnMxIDwtIGMoJ0RyYXdzJywgJ1N0ZXBzIG9mIHRoZSBzYW1wbGVyJywgJzkwJSBIUEQnKQpwMSA8LSBnZ3Bsb3QoKSArCiAgZ2VvbV9qaXR0ZXIoZGF0YSA9IGRmMTAwLCB3aWR0aD0wLjA1LCBoZWlnaHQ9MC4wNSwKICAgICAgICAgICAgIGFlcyh0aDEsIHRoMiwgY29sb3IgPScxJyksIGFscGhhPTAuMykgKwogIGdlb21fc2VnbWVudChkYXRhID0gZGYxMDAsIGFlcyh4ID0gdGgxLCB4ZW5kID0gdGgxbCwgY29sb3IgPSAnMicsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHkgPSB0aDIsIHllbmQgPSB0aDJsKSkgKwogIHN0YXRfZWxsaXBzZShkYXRhID0gZGZ0LCBhZXMoeCA9IFgxLCB5ID0gWDIsIGNvbG9yID0gJzMnKSwgbGV2ZWwgPSAwLjkpICsKICBjb29yZF9jYXJ0ZXNpYW4oeGxpbSA9IGMoLTQsIDQpLCB5bGltID0gYygtNCwgNCkpICsKICBsYWJzKHggPSAndGhldGExJywgeSA9ICd0aGV0YTInKSArCiAgc2NhbGVfY29sb3JfbWFudWFsKHZhbHVlcyA9IGMoJ3JlZCcsICdmb3Jlc3RncmVlbicsJ2JsdWUnKSwgbGFiZWxzID0gbGFiczEpICsKICBndWlkZXMoY29sb3IgPSBndWlkZV9sZWdlbmQob3ZlcnJpZGUuYWVzID0gbGlzdCgKICAgIHNoYXBlID0gYygxNiwgTkEsIE5BKSwgbGluZXR5cGUgPSBjKDAsIDEsIDEpKSkpICsKICB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAnYm90dG9tJywgbGVnZW5kLnRpdGxlID0gZWxlbWVudF9ibGFuaygpKQpgYGAKClRoZSBmb2xsb3dpbmcgZ2VuZXJhdGVzIGEgZ2lmIGFuaW1hdGlvbgpvZiB0aGUgc3RlcHMgb2YgdGhlIHNhbXBsZXIgKG1pZ2h0IHRha2UgMTAgc2Vjb25kcykuCgpgYGB7ciBNZXRyb3BvbGlzICgyKX0KYW5pbWF0ZShwMSArICAgCiAgICAgICAgICB0cmFuc2l0aW9uX3JldmVhbChpZD1pZCwgYWxvbmc9aXRlcikgKyAKICAgICAgICBzaGFkb3dfdHJhaWwoMC4wMSkpCmBgYAoKUGxvdCB0aGUgZmluYWwgZnJhbWUKCmBgYHtyIH0KcDEKYGBgCgpzaG93IDEwMDAgZHJhd3MgYWZ0ZXIgdGhlIHdhcm0tdXAKCmBgYHtyIH0KbGFiczIgPC0gYygnRHJhd3MnLCAnOTAlIEhQRCcpCmdncGxvdCgpICsKICBnZW9tX3BvaW50KGRhdGEgPSBkZnNbMToxMDAwLF0sCiAgICAgICAgICAgICBhZXModGgxLCB0aDIsIGNvbG9yID0gJzEnKSwgYWxwaGEgPSAwLjMpICsKICBzdGF0X2VsbGlwc2UoZGF0YSA9IGRmdCwgYWVzKHggPSBYMSwgeSA9IFgyLCBjb2xvciA9ICcyJyksIGxldmVsID0gMC45KSArCiAgY29vcmRfY2FydGVzaWFuKHhsaW0gPSBjKC00LCA0KSwgeWxpbSA9IGMoLTQsIDQpKSArCiAgbGFicyh4ID0gJ3RoZXRhMScsIHkgPSAndGhldGEyJykgKwogIHNjYWxlX2NvbG9yX21hbnVhbCh2YWx1ZXMgPSBjKCdzdGVlbGJsdWUnLCAnYmx1ZScpLCBsYWJlbHMgPSBsYWJzMikgKwogIGd1aWRlcyhjb2xvciA9IGd1aWRlX2xlZ2VuZChvdmVycmlkZS5hZXMgPSBsaXN0KAogICAgc2hhcGUgPSBjKDE2LCBOQSksIGxpbmV0eXBlID0gYygwLCAxKSwgYWxwaGEgPSBjKDEsIDEpKSkpICsKICB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAnYm90dG9tJywgbGVnZW5kLnRpdGxlID0gZWxlbWVudF9ibGFuaygpKQpgYGAKCnNob3cgNDUwMCBkcmF3cyBhZnRlciB0aGUgd2FybS11cAoKYGBge3IgfQpsYWJzMiA8LSBjKCdEcmF3cycsICc5MCUgSFBEJykKZ2dwbG90KCkgKwogIGdlb21fcG9pbnQoZGF0YSA9IGRmcywKICAgICAgICAgICAgIGFlcyh0aDEsIHRoMiwgY29sb3IgPSAnMScpLCBhbHBoYSA9IDAuMykgKwogIHN0YXRfZWxsaXBzZShkYXRhID0gZGZ0LCBhZXMoeCA9IFgxLCB5ID0gWDIsIGNvbG9yID0gJzInKSwgbGV2ZWwgPSAwLjkpICsKICBjb29yZF9jYXJ0ZXNpYW4oeGxpbSA9IGMoLTQsIDQpLCB5bGltID0gYygtNCwgNCkpICsKICBsYWJzKHggPSAndGhldGExJywgeSA9ICd0aGV0YTInKSArCiAgc2NhbGVfY29sb3JfbWFudWFsKHZhbHVlcyA9IGMoJ3N0ZWVsYmx1ZScsICdibHVlJyksIGxhYmVscyA9IGxhYnMyKSArCiAgZ3VpZGVzKGNvbG9yID0gZ3VpZGVfbGVnZW5kKG92ZXJyaWRlLmFlcyA9IGxpc3QoCiAgICBzaGFwZSA9IGMoMTYsIE5BKSwgbGluZXR5cGUgPSBjKDAsIDEpLCBhbHBoYSA9IGMoMSwgMSkpKSkgKwogIHRoZW1lKGxlZ2VuZC5wb3NpdGlvbiA9ICdib3R0b20nLCBsZWdlbmQudGl0bGUgPSBlbGVtZW50X2JsYW5rKCkpCmBgYAoKIyMjIENvbnZlcmdlbmNlIGRpYWdub3N0aWNzCgpgYGB7ciB9CnNhbXAgPC0gdHQKZGltKHNhbXApIDwtIGMoZGltKHR0KSwxKQpzYW1wIDwtIGFwZXJtKHNhbXAsIGMoMSwgMywgMikpCnJlczwtbW9uaXRvcihzYW1wLCBwcm9icyA9IGMoMC4yNSwgMC41LCAwLjc1KSwgZGlnaXRzX3N1bW1hcnkgPSAyKQpuZWZmIDwtIHJlc1ssJ25fZWZmJ10KIyBib3RoIHRoZXRhIGhhdmUgb3dlbiBuZWZmLCBidXQgZm9yIHBsb3R0aW5nIHRoZXNlIGFyZSBzbyBjbG9zZSB0byBlYWNoCiMgb3RoZXIsIHNvIHRoYXQgc2luZ2xlIHJlbGF0aXZlIGVmZmljaWVuY3kgdmFsdWUgaXMgdXNlZApyZWZmIDwtIG1lYW4obmVmZi8ocy8yKSkKYGBgCgojIyMgVmlzdWFsIGNvbnZlcmdlbmNlIGRpYWdub3N0aWNzCkNvbGxhcHNlIHRoZSBkYXRhIGZyYW1lIHdpdGggcm93IG51bWJlcnMgYXVnbWVudGVkCmludG8ga2V5LXZhbHVlIHBhaXJzIGZvciB2aXN1YWxpemluZyB0aGUgY2hhaW5zCgpgYGB7ciB9CmRmYiA8LSBkZnMKc2IgPC0gcy13YXJtCmRmY2ggPC0gd2l0aGluKGRmYiwgaXRlciA8LSAxOnNiKSAlPiUgZ2F0aGVyKGdycCwgdmFsdWUsIC1pdGVyKQpgYGAKCkFub3RoZXIgZGF0YSBmcmFtZSBmb3IgdmlzdWFsaXppbmcgdGhlIGVzdGltYXRlIG9mCnRoZSBhdXRvY29ycmVsYXRpb24gZnVuY3Rpb24KCmBgYHtyIH0KbmxhZ3MgPC0gMTAwCmRmYSA8LSBzYXBwbHkoZGZiLCBmdW5jdGlvbih4KSBhY2YoeCwgbGFnLm1heCA9IG5sYWdzLCBwbG90ID0gRikkYWNmKSAlPiUKICBkYXRhLmZyYW1lKGl0ZXIgPSAwOihubGFncykpICU+JSBnYXRoZXIoZ3JwLCB2YWx1ZSwgLWl0ZXIpCmBgYAoKQSB0aGlyZCBkYXRhIGZyYW1lIHRvIHZpc3VhbGl6ZSB0aGUgY3VtdWxhdGl2ZSBhdmVyYWdlcwphbmQgdGhlIDk1JSBpbnRlcnZhbHMKCmBgYHtyIH0KZGZjYSA8LSAoY3Vtc3VtKGRmYikgLyAoMTpzYikpICU+JQogIHdpdGhpbih7aXRlciA8LSAxOnNiCiAgICAgICAgICB1cHBpIDwtICAxLjk2L3NxcnQoMTpzYikKICAgICAgICAgIHVwcCA8LSAxLjk2LyhzcXJ0KDE6c2IqcmVmZikpfSkgJT4lCiAgZ2F0aGVyKGdycCwgdmFsdWUsIC1pdGVyKQpgYGAKClZpc3VhbGl6ZSB0aGUgY2hhaW5zCgpgYGB7ciB9CmdncGxvdChkYXRhID0gZGZjaCkgKwogIGdlb21fbGluZShhZXMoaXRlciwgdmFsdWUsIGNvbG9yID0gZ3JwKSkgKwogIGxhYnModGl0bGUgPSAnVHJlbmRzJykgKwogIHNjYWxlX2NvbG9yX2Rpc2NyZXRlKGxhYmVscyA9IGMoJ3RoZXRhMScsJ3RoZXRhMicpKSArCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gJ2JvdHRvbScsIGxlZ2VuZC50aXRsZSA9IGVsZW1lbnRfYmxhbmsoKSkKYGBgCgpWaXN1YWxpemUgdGhlIGVzdGltYXRlIG9mIHRoZSBhdXRvY29ycmVsYXRpb24gZnVuY3Rpb24KCmBgYHtyIH0KZ2dwbG90KGRhdGEgPSBkZmEpICsKICBnZW9tX2xpbmUoYWVzKGl0ZXIsIHZhbHVlLCBjb2xvciA9IGdycCkpICsKICBnZW9tX2hsaW5lKGFlcyh5aW50ZXJjZXB0ID0gMCkpICsKICBsYWJzKHRpdGxlID0gJ0F1dG9jb3JyZWxhdGlvbiBmdW5jdGlvbicpICsKICBzY2FsZV9jb2xvcl9kaXNjcmV0ZShsYWJlbHMgPSBjKCd0aGV0YTEnLCAndGhldGEyJykpICsKICB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAnYm90dG9tJywgbGVnZW5kLnRpdGxlID0gZWxlbWVudF9ibGFuaygpKQpgYGAKClZpc3VhbGl6ZSB0aGUgZXN0aW1hdGUgb2YgdGhlIE1vbnRlIENhcmxvIGVycm9yIGVzdGltYXRlcwoKYGBge3IgfQojIGxhYmVscwpsYWJzMyA8LSBjKCd0aGV0YTEnLCAndGhldGEyJywKICAgICAgICAgICAnOTUlIGludGVydmFsIGZvciBNQ01DIGVycm9yJywKICAgICAgICAgICAnOTUlIGludGVydmFsIGZvciBpbmRlcGVuZGVudCBNQycpCmdncGxvdCgpICsKICBnZW9tX2xpbmUoZGF0YSA9IGRmY2EsIGFlcyhpdGVyLCB2YWx1ZSwgY29sb3IgPSBncnAsIGxpbmV0eXBlID0gZ3JwKSkgKwogIGdlb21fbGluZShhZXMoMTpzYiwgLTEuOTYvc3FydCgxOnNiKnJlZmYpKSwgbGluZXR5cGUgPSAyKSArCiAgZ2VvbV9saW5lKGFlcygxOnNiLCAtMS45Ni9zcXJ0KDE6c2IpKSwgbGluZXR5cGUgPSAzKSArCiAgZ2VvbV9obGluZShhZXMoeWludGVyY2VwdCA9IDApKSArCiAgY29vcmRfY2FydGVzaWFuKHlsaW0gPSBjKC0xLjUsIDEuNSksIHhsaW0gPSBjKDAsNDAwMCkpICsKICBsYWJzKHRpdGxlID0gJ0N1bXVsYXRpdmUgYXZlcmFnZXMnKSArCiAgc2NhbGVfY29sb3JfbWFudWFsKHZhbHVlcyA9IGMoJ3JlZCcsJ2JsdWUnLHJlcCgnYmxhY2snLCAyKSksIGxhYmVscyA9IGxhYnMzKSArCiAgc2NhbGVfbGluZXR5cGVfbWFudWFsKHZhbHVlcyA9IGMoMSwgMSwgMiwgMyksIGxhYmVscyA9IGxhYnMzKSArCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gJ2JvdHRvbScsIGxlZ2VuZC50aXRsZSA9IGVsZW1lbnRfYmxhbmsoKSkKYGBgCgpTYW1lIGFnYWluIHdpdGggc3AgPSAxLjUKCmBgYHtyIH0Kc3AgPSAxLjUKYGBgCgpJbnNlcnQgeW91ciBvd24gTWV0cm9wb2xpcyBzYW1wbGluZyBoZXJlCgpgYGB7ciB9CiMgQWxsb2NhdGUgbWVtb3J5IGZvciB0aGUgc2FtcGxlCnR0IDwtIG1hdHJpeChyZXAoMCwgMipNKSwgbmNvbCA9IDIpCnR0WzEsXSA8LSBjKHQxLCB0MikgICAgIyBTYXZlIHN0YXJ0aW5nIHBvaW50CiMgRm9yIGRlbW9uc3RyYXRpb24gbG9hZCBwcmUtY29tcHV0ZWQgdmFsdWVzCiMgUmVwbGFjZSB0aGlzIHdpdGggeW91ciBhbGdvcml0aG0hCiMgdHQgaXMgYSBNIHggMiBhcnJheSwgd2l0aCBNIGRyYXdzIG9mIGJvdGggdGhldGFfMSBhbmQgdGhldGFfMgpsb2FkKHJvb3QoImRlbW9zX2NoMTEiLCJkZW1vMTFfMmMuUkRhdGEiKSkKYGBgCgpUaGUgcmVzdCBpcyBmb3IgaWxsdXN0cmF0aW9uClRha2UgdGhlIGZpcnN0IDIwMCBkcmF3cwp0byBpbGx1c3RyYXRlIGhvdyB0aGUgc2FtcGxlciB3b3JrcwoKYGBge3IgfQpkZjEwMCA8LSBkYXRhLmZyYW1lKGlkPXJlcCgxLDEwMCksCiAgICAgICAgICAgICAgICAgICAgaXRlcj0xOjEwMCwgCiAgICAgICAgICAgICAgICAgICAgdGgxID0gdHRbMToxMDAsIDFdLAogICAgICAgICAgICAgICAgICAgIHRoMiA9IHR0WzE6MTAwLCAyXSwKICAgICAgICAgICAgICAgICAgICB0aDFsID0gYyh0dFsxLCAxXSwgdHRbMTooMTAwLTEpLCAxXSksCiAgICAgICAgICAgICAgICAgICAgdGgybCA9IGModHRbMSwgMl0sIHR0WzE6KDEwMC0xKSwgMl0pKQpgYGAKClRha2UgdGhlIGZpcnN0IDUwMDAgb2JzZXJ2YXRpb25zIGFmdGVyIHdhcm11cCBvZiA1MAoKYGBge3IgfQpzIDwtIDUwMDAKd2FybSA8LSA1MDAKZGZzIDwtIGRhdGEuZnJhbWUodGgxID0gdHRbKHdhcm0rMSk6cywgMV0sIHRoMiA9IHR0Wyh3YXJtKzEpOnMsIDJdKQpgYGAKClJlbW92ZSB3YXJtLXVwIHBlcmlvZCBvZiA1MCBmaXJzdCBkcmF3cyBsYXRlcgoKYGBge3IgfQojIGxhYmVscyBhbmQgZnJhbWUgaW5kaWNlcyBmb3IgdGhlIHBsb3QKbGFiczEgPC0gYygnRHJhd3MnLCAnU3RlcHMgb2YgdGhlIHNhbXBsZXInLCAnOTAlIEhQRCcpCnAxIDwtIGdncGxvdCgpICsKICBnZW9tX2ppdHRlcihkYXRhID0gZGYxMDAsIHdpZHRoPTAuMDUsIGhlaWdodD0wLjA1LAogICAgICAgICAgICAgYWVzKHRoMSwgdGgyLCBjb2xvciA9JzEnKSwgYWxwaGE9MC4zKSArCiAgZ2VvbV9zZWdtZW50KGRhdGEgPSBkZjEwMCwgYWVzKHggPSB0aDEsIHhlbmQgPSB0aDFsLCBjb2xvciA9ICcyJywKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgeSA9IHRoMiwgeWVuZCA9IHRoMmwpKSArCiAgc3RhdF9lbGxpcHNlKGRhdGEgPSBkZnQsIGFlcyh4ID0gWDEsIHkgPSBYMiwgY29sb3IgPSAnMycpLCBsZXZlbCA9IDAuOSkgKwogIGNvb3JkX2NhcnRlc2lhbih4bGltID0gYygtNCwgNCksIHlsaW0gPSBjKC00LCA0KSkgKwogIGxhYnMoeCA9ICd0aGV0YTEnLCB5ID0gJ3RoZXRhMicpICsKICBzY2FsZV9jb2xvcl9tYW51YWwodmFsdWVzID0gYygncmVkJywgJ2ZvcmVzdGdyZWVuJywnYmx1ZScpLCBsYWJlbHMgPSBsYWJzMSkgKwogIGd1aWRlcyhjb2xvciA9IGd1aWRlX2xlZ2VuZChvdmVycmlkZS5hZXMgPSBsaXN0KAogICAgc2hhcGUgPSBjKDE2LCBOQSwgTkEpLCBsaW5ldHlwZSA9IGMoMCwgMSwgMSkpKSkgKwogIHRoZW1lKGxlZ2VuZC5wb3NpdGlvbiA9ICdib3R0b20nLCBsZWdlbmQudGl0bGUgPSBlbGVtZW50X2JsYW5rKCkpCmBgYAoKVGhlIGZvbGxvd2luZyBnZW5lcmF0ZXMgYSBnaWYgYW5pbWF0aW9uCm9mIHRoZSBzdGVwcyBvZiB0aGUgc2FtcGxlciAobWlnaHQgdGFrZSAxMCBzZWNvbmRzKS4KCmBgYHtyIE1ldHJvcG9saXMgKDMpfQphbmltYXRlKHAxICsgICAKICAgICAgICAgIHRyYW5zaXRpb25fcmV2ZWFsKGlkPWlkLCBhbG9uZz1pdGVyKSArIAogICAgICAgIHNoYWRvd190cmFpbCgwLjAxKSkKYGBgCgpzaG93IDEwMDAgZHJhd3MgYWZ0ZXIgdGhlIHdhcm0tdXAKCmBgYHtyIH0KbGFiczIgPC0gYygnRHJhd3MnLCAnOTAlIEhQRCcpCmdncGxvdCgpICsKICBnZW9tX3BvaW50KGRhdGEgPSBkZnNbMToxMDAwLF0sCiAgICAgICAgICAgICBhZXModGgxLCB0aDIsIGNvbG9yID0gJzEnKSwgYWxwaGEgPSAwLjMpICsKICBzdGF0X2VsbGlwc2UoZGF0YSA9IGRmdCwgYWVzKHggPSBYMSwgeSA9IFgyLCBjb2xvciA9ICcyJyksIGxldmVsID0gMC45KSArCiAgY29vcmRfY2FydGVzaWFuKHhsaW0gPSBjKC00LCA0KSwgeWxpbSA9IGMoLTQsIDQpKSArCiAgbGFicyh4ID0gJ3RoZXRhMScsIHkgPSAndGhldGEyJykgKwogIHNjYWxlX2NvbG9yX21hbnVhbCh2YWx1ZXMgPSBjKCdzdGVlbGJsdWUnLCAnYmx1ZScpLCBsYWJlbHMgPSBsYWJzMikgKwogIGd1aWRlcyhjb2xvciA9IGd1aWRlX2xlZ2VuZChvdmVycmlkZS5hZXMgPSBsaXN0KAogICAgc2hhcGUgPSBjKDE2LCBOQSksIGxpbmV0eXBlID0gYygwLCAxKSwgYWxwaGEgPSBjKDEsIDEpKSkpICsKICB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAnYm90dG9tJywgbGVnZW5kLnRpdGxlID0gZWxlbWVudF9ibGFuaygpKQpgYGAKCnNob3cgNDUwMCBkcmF3cyBhZnRlciB0aGUgd2FybS11cAoKYGBge3IgfQpsYWJzMiA8LSBjKCdEcmF3cycsICc5MCUgSFBEJykKZ2dwbG90KCkgKwogIGdlb21fcG9pbnQoZGF0YSA9IGRmcywKICAgICAgICAgICAgIGFlcyh0aDEsIHRoMiwgY29sb3IgPSAnMScpLCBhbHBoYSA9IDAuMykgKwogIHN0YXRfZWxsaXBzZShkYXRhID0gZGZ0LCBhZXMoeCA9IFgxLCB5ID0gWDIsIGNvbG9yID0gJzInKSwgbGV2ZWwgPSAwLjkpICsKICBjb29yZF9jYXJ0ZXNpYW4oeGxpbSA9IGMoLTQsIDQpLCB5bGltID0gYygtNCwgNCkpICsKICBsYWJzKHggPSAndGhldGExJywgeSA9ICd0aGV0YTInKSArCiAgc2NhbGVfY29sb3JfbWFudWFsKHZhbHVlcyA9IGMoJ3N0ZWVsYmx1ZScsICdibHVlJyksIGxhYmVscyA9IGxhYnMyKSArCiAgZ3VpZGVzKGNvbG9yID0gZ3VpZGVfbGVnZW5kKG92ZXJyaWRlLmFlcyA9IGxpc3QoCiAgICBzaGFwZSA9IGMoMTYsIE5BKSwgbGluZXR5cGUgPSBjKDAsIDEpLCBhbHBoYSA9IGMoMSwgMSkpKSkgKwogIHRoZW1lKGxlZ2VuZC5wb3NpdGlvbiA9ICdib3R0b20nLCBsZWdlbmQudGl0bGUgPSBlbGVtZW50X2JsYW5rKCkpCmBgYAoKIyMjIENvbnZlcmdlbmNlIGRpYWdub3N0aWNzCgpgYGB7ciB9CnNhbXAgPC0gdHQKZGltKHNhbXApIDwtIGMoZGltKHR0KSwxKQpzYW1wIDwtIGFwZXJtKHNhbXAsIGMoMSwgMywgMikpCnJlczwtbW9uaXRvcihzYW1wLCBwcm9icyA9IGMoMC4yNSwgMC41LCAwLjc1KSwgZGlnaXRzX3N1bW1hcnkgPSAyKQpuZWZmIDwtIHJlc1ssJ25fZWZmJ10KIyBib3RoIHRoZXRhIGhhdmUgb3dlbiBuZWZmLCBidXQgZm9yIHBsb3R0aW5nIHRoZXNlIGFyZSBzbyBjbG9zZSB0byBlYWNoCiMgb3RoZXIsIHNvIHRoYXQgc2luZ2xlIHJlbGF0aXZlIGVmZmljaWVuY3kgdmFsdWUgaXMgdXNlZApyZWZmIDwtIG1lYW4obmVmZi8ocy8yKSkKYGBgCgojIyMgVmlzdWFsIGNvbnZlcmdlbmNlIGRpYWdub3N0aWNzCkNvbGxhcHNlIHRoZSBkYXRhIGZyYW1lIHdpdGggcm93IG51bWJlcnMgYXVnbWVudGVkCmludG8ga2V5LXZhbHVlIHBhaXJzIGZvciB2aXN1YWxpemluZyB0aGUgY2hhaW5zCgpgYGB7ciB9CmRmYiA8LSBkZnMKc2IgPC0gcy13YXJtCmRmY2ggPC0gd2l0aGluKGRmYiwgaXRlciA8LSAxOnNiKSAlPiUgZ2F0aGVyKGdycCwgdmFsdWUsIC1pdGVyKQpgYGAKCkFub3RoZXIgZGF0YSBmcmFtZSBmb3IgdmlzdWFsaXppbmcgdGhlIGVzdGltYXRlIG9mCnRoZSBhdXRvY29ycmVsYXRpb24gZnVuY3Rpb24KCmBgYHtyIH0KbmxhZ3MgPC0gMTAwCmRmYSA8LSBzYXBwbHkoZGZiLCBmdW5jdGlvbih4KSBhY2YoeCwgbGFnLm1heCA9IG5sYWdzLCBwbG90ID0gRikkYWNmKSAlPiUKICBkYXRhLmZyYW1lKGl0ZXIgPSAwOihubGFncykpICU+JSBnYXRoZXIoZ3JwLCB2YWx1ZSwgLWl0ZXIpCmBgYAoKQSB0aGlyZCBkYXRhIGZyYW1lIHRvIHZpc3VhbGl6ZSB0aGUgY3VtdWxhdGl2ZSBhdmVyYWdlcwphbmQgdGhlIDk1JSBpbnRlcnZhbHMKCmBgYHtyIH0KZGZjYSA8LSAoY3Vtc3VtKGRmYikgLyAoMTpzYikpICU+JQogIHdpdGhpbih7aXRlciA8LSAxOnNiCiAgICAgICAgICB1cHBpIDwtICAxLjk2L3NxcnQoMTpzYikKICAgICAgICAgIHVwcCA8LSAxLjk2LyhzcXJ0KDE6c2IqcmVmZikpfSkgJT4lCiAgZ2F0aGVyKGdycCwgdmFsdWUsIC1pdGVyKQpgYGAKClZpc3VhbGl6ZSB0aGUgY2hhaW5zCgpgYGB7ciB9CmdncGxvdChkYXRhID0gZGZjaCkgKwogIGdlb21fbGluZShhZXMoaXRlciwgdmFsdWUsIGNvbG9yID0gZ3JwKSkgKwogIGxhYnModGl0bGUgPSAnVHJlbmRzJykgKwogIHNjYWxlX2NvbG9yX2Rpc2NyZXRlKGxhYmVscyA9IGMoJ3RoZXRhMScsJ3RoZXRhMicpKSArCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gJ2JvdHRvbScsIGxlZ2VuZC50aXRsZSA9IGVsZW1lbnRfYmxhbmsoKSkKYGBgCgpWaXN1YWxpemUgdGhlIGVzdGltYXRlIG9mIHRoZSBhdXRvY29ycmVsYXRpb24gZnVuY3Rpb24KCmBgYHtyIH0KZ2dwbG90KGRhdGEgPSBkZmEpICsKICBnZW9tX2xpbmUoYWVzKGl0ZXIsIHZhbHVlLCBjb2xvciA9IGdycCkpICsKICBnZW9tX2hsaW5lKGFlcyh5aW50ZXJjZXB0ID0gMCkpICsKICBsYWJzKHRpdGxlID0gJ0F1dG9jb3JyZWxhdGlvbiBmdW5jdGlvbicpICsKICBzY2FsZV9jb2xvcl9kaXNjcmV0ZShsYWJlbHMgPSBjKCd0aGV0YTEnLCAndGhldGEyJykpICsKICB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAnYm90dG9tJywgbGVnZW5kLnRpdGxlID0gZWxlbWVudF9ibGFuaygpKQpgYGAKClZpc3VhbGl6ZSB0aGUgZXN0aW1hdGUgb2YgdGhlIE1vbnRlIENhcmxvIGVycm9yIGVzdGltYXRlcwoKYGBge3IgfQojIGxhYmVscwpsYWJzMyA8LSBjKCd0aGV0YTEnLCAndGhldGEyJywKICAgICAgICAgICAnOTUlIGludGVydmFsIGZvciBNQ01DIGVycm9yJywKICAgICAgICAgICAnOTUlIGludGVydmFsIGZvciBpbmRlcGVuZGVudCBNQycpCmdncGxvdCgpICsKICBnZW9tX2xpbmUoZGF0YSA9IGRmY2EsIGFlcyhpdGVyLCB2YWx1ZSwgY29sb3IgPSBncnAsIGxpbmV0eXBlID0gZ3JwKSkgKwogIGdlb21fbGluZShhZXMoMTpzYiwgLTEuOTYvc3FydCgxOnNiKnJlZmYpKSwgbGluZXR5cGUgPSAyKSArCiAgZ2VvbV9saW5lKGFlcygxOnNiLCAtMS45Ni9zcXJ0KDE6c2IpKSwgbGluZXR5cGUgPSAzKSArCiAgZ2VvbV9obGluZShhZXMoeWludGVyY2VwdCA9IDApKSArCiAgY29vcmRfY2FydGVzaWFuKHlsaW0gPSBjKC0xLjUsIDEuNSksIHhsaW0gPSBjKDAsNDAwMCkpICsKICBsYWJzKHRpdGxlID0gJ0N1bXVsYXRpdmUgYXZlcmFnZXMnKSArCiAgc2NhbGVfY29sb3JfbWFudWFsKHZhbHVlcyA9IGMoJ3JlZCcsJ2JsdWUnLHJlcCgnYmxhY2snLCAyKSksIGxhYmVscyA9IGxhYnMzKSArCiAgc2NhbGVfbGluZXR5cGVfbWFudWFsKHZhbHVlcyA9IGMoMSwgMSwgMiwgMyksIGxhYmVscyA9IGxhYnMzKSArCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gJ2JvdHRvbScsIGxlZ2VuZC50aXRsZSA9IGVsZW1lbnRfYmxhbmsoKSkKYGBgCgo=